641. Trends in complex analysis, differential geometry, and mathematical physics : proceedings of the 6th International Workshop on Complex Structures and Vector Fields : St. Konstantin, Bulgaria, 3-6 September 2002
المؤلف: editors, Stancho Dimiev, Kouei Sekigawa
المکتبة: (طهران)
موضوع: Congresses ، Functional analysis,Congresses ، Geometry, Differential,Congresses ، Mathematical physics
رده :
QA
319
.
I58
2002
642. Trends in differential geometry, complex analysis and mathematical physic
المؤلف: / editors, Kouei Sekigawa, Vladimir S. Gerdjikov, Stancho Dimiev
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Functional analysis--Congresses,Geometry, Differential--Congresses,Mathematical physics--Congresses
رده :
QA
,
319
,.
I59
,
2008eb
643. Trends in differential geometry, complex analysis and mathematical physics
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Functional analysis ; Congresses. ; Geometry, Differential ; Congresses. ; Mathematical physics ; Congresses. ;
644. Trends in differential geometry, complex analysis and mathematical physics : proceedings of the 9th International Workshop on Complex Structures, Integrability and Vector Fields, Sofia, Bulgaria, 25-29 August 2008
المؤلف: editors, Kouei Sekigawa, Vladimir S. Gerdjikov, Stancho Dimiev
المکتبة: (طهران)
موضوع: Congresses ، Functional analysis,Congresses ، Geometry, Differential,Congresses ، Mathematical physics
رده :
QA
319
.
I58
2008
645. Trends in functional programming :
المؤلف: David Van Horn, John Hughes (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.
رده :
QA76
.
62
646. Trends in functional programming :
المؤلف: edited by Meng Wang, Scott Owens.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
62
647. Ultrametic functional analysis: Eighth International Conference on p-adic Functional Analysis, July 5-9, 2004, Universite Blaise Pascal, Clermont-Ferrand, France
المؤلف: B. Diarra...]et al.[, editors
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، p-adic analysis,Congresses ، Topological fields
رده :
QA
241
.
I585
2004
648. Ultrametric functional analysis : Eighth International Conference on p-adic Functional Analysis, July 5-9, 2004, Universite Blaise Pascal, Clermont-Ferrand, France
المؤلف: B. Diarra ... ]et al.[, editors
المکتبة: (طهران)
موضوع: Congresses ، p-adic analysis,Congresses ، Topological fields
رده :
QA
241
.
I536
2004
649. Ultrametric functional analysis : Seventh International Conference on p-adic Functional Analysis, June 17-21, 2002, University of Nijmegen, the Netherlands
المؤلف: W. H. Schikhof, C. Perez-Garcia, A. Escassut, editors
المکتبة: (طهران)
موضوع: Congresses ، p-adic analysis
رده :
QA
241
.
I536
2002
650. Uncertainty and intelligent information systems /
المؤلف: editors, Bernadette Bouchon-Meunier [and others].
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Expert systems (Computer science), Congresses.,Uncertainty (Information theory), Congresses.,COMPUTERS-- Expert Systems.,Expert systems (Computer science),Expertensystem,Kongress,Uncertainty (Information theory),Unsicherheit
رده :
QA76
.
76
.
E95
I575
2006eb
651. Understanding and interpreting machine learning in medical image computing applications :
المؤلف: Danail Stoyanov, Zeike Taylor, Seyed Mostafa Kia, Ipek Oguz, Mauricio Reyes et al. (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer-assisted surgery, Congresses.,Diagnostic imaging-- Data processing, Congresses.,Image Interpretation, Computer-Assisted.,Artificial intelligence.,Computer-assisted surgery.,Computers-- Computer Graphics.,Computers-- Computer Science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Diagnostic imaging-- Data processing.,Health & safety aspects of IT.,Image processing.,Life sciences: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Medical-- General.
رده :
RC78
.
7
.
D53
I58
2018
652. Variational and topological methods in the study of nonlinear phenomena /
المؤلف: V. Benci [and others] editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Nonlinear functional analysis.,Nonlinear mechanics, Congresses.,Topological dynamics, Congresses.,Nonlinear mechanics, Congresses.,Topological dynamics, Congresses.,Dynamique topologique, Congrès.,Mécanique non linéaire, Congrès.,Nichtlineare Funktionalanalysis,Nichtlineare Funktionalanalysis, Kongress-- Pisa 2000.,Nichtlineare partielle Differentialgleichung,Nichtlineares Phänomen,Nonlinear functional analysis.,Nonlinear mechanics.,Topological dynamics.,Topologische Methode,Variationsrechnung
رده :
QA321
.
5
.
V37
2000
653. Verification and evaluation of computer and communication systems :
المؤلف: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
654. XIth I.S.C.E.R.G. Symposium
المؤلف: edited by E. Dodt, Jerome T. Pearlman.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Electroretinography -- Congresses.,Electroretinography.,Medicine.
رده :
RE79
.
E4
E358
1974
656. complex analysis with vector calculus
المؤلف: T.M.J.A Cooray
المکتبة: (کرمان)
موضوع: functional analysis-congresses
رده :
QA
319
.
C6C6
657. 32nd Hemophilia Symposium :
المؤلف: editors, I. Scharrer, W. Schramm ; chairmen, G. Auerswald [and others].
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Hemophilia -- Congresses.,Hemophilia A -- diagnosis.,Hemophilia A -- epidemiology.
رده :
RC642
.
E358
2003
658. 35th Hemophilia Symposium :
المؤلف: editors, I. Scharrer, W. Schramm ; scientific board: I. Scharrer, W. Schramm ; chairmen: G. Auerswald [and others].
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Hemophilia -- Congresses.,Hemophilia A.,von Willebrand Diseases.
رده :
RC642
.
E358
2006
659. 8th International Conference on Automated Deduction :
المؤلف: edited by Jörg H. Siekmann.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Automatic theorem proving -- Congresses.,Automatic theorem proving.,Logic, Symbolic and mathematical -- Congresses.
